How do you write a binary search